widget: Clip redrawn area to widget clip
authorTimm Bäder <mail@baedert.org>
Tue, 16 Jan 2018 19:25:02 +0000 (20:25 +0100)
committerTimm Bäder <mail@baedert.org>
Wed, 17 Jan 2018 20:57:19 +0000 (21:57 +0100)
commit8ad1b09a3a1f1609497a5ae133ff3e5313d35495
tree5878cf9388a9e25b107b7f1be2f8c665e2e07665
parentc2d4f05ce0b85c175e2177dc19142a10660200e3
widget: Clip redrawn area to widget clip

The clip can already be modified in size_allocate, so we never want a
widget to invalidate more than its actual clip region.
gtk/gtkwidget.c